Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
311	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
312	Managing Digital Rights using Linear Logic Adam Barth Stanford University Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:10:18 Copyright law Digital rights management PlayReady OMA DRM Monotonic function Entailment Finite-state machine Logic Mathematics Models of computation
313	Microsoft Word Add to Reading List Source URL: www.chemistry2011.org Language: English - Date: 2013-03-14 19:04:29 Eigenvalues and eigenvectors Linear algebra Matrix theory Singular value decomposition Matrix Linear temporal logic Μ operator Algebra Mathematics Abstract algebra
314	Convex Two-Layer Modeling ¨ Ozlem Aslan Hao Cheng Dale Schuurmans Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2013-12-15 02:02:39 Latent class model Function Mathematical logic Linear temporal logic Μ operator Mathematics Statistics Perceptron
315	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
316	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
317	ECE 102: Digital Circuit Logic Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2013-09-24 15:44:18 Mathematical analysis Applied mathematics Digital signal processing Fourier analysis Electrical engineering LTI system theory Impulse response Transfer function Linear system Signal processing Control theory Mathematics
318	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
319	Economic Theory 23, 601–DOI: s00199Green national accounting with a changing population Geir B. Asheim Add to Reading List Source URL: folk.uio.no Language: English - Date: 2003-11-12 12:24:03 Operator theory Linear temporal logic Μ operator Mathematical analysis Functional analysis Distribution
320	INTEGER PROGRAMMING APPROACHES FOR AUTOMATED PLANNING by Menkes Hector Louis van den Briel A Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 19:01:15 Mathematical optimization Automated planning and scheduling Linear programming AMPL Mathematical model Integer programming Scheduling Logic programming Algorithm Operations research Mathematics Applied mathematics

UPDATE